Nuprl Definition : lele 9,38
i  j  k == (i  j)  (j  k) 
latex

DefinitionsP  Q, A  B
FDL editor aliaseslele

origin